|
(SVRC) A Special Research Centre of the Australian Research Council. Its mission is to create improved methods and tools, of industrial significance, for developing {verified software}. Two of the SVRC's core projects are the {Cogito} methodology and the {Ergo} {proof tool}. (1995-11-14) スポンサード リンク
|